implicit differentiation product rule